well_fnd_summary
12,41
postcript
pdf
Well-founded predicate. Rank induction lemmas and
tactics.
origin
